Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ elements of (...) truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

Grumpy short discussion of Nicholas Maxwell's From Knowledge to Wisdom.

In this extended critical discussion of 'Kant's Modal Metaphysics' by Nicholas Stang (OUP 2016), I focus on one central issue from the first chapter of the book: Stang’s account of Kant’s doctrine that existence is not a real predicate. In §2 I outline some background. In §§3-4 I present and then elaborate on Stang’s interpretation of Kant’s view that existence is not a real predicate. For Stang, the question of whether existence is a real predicate amounts to the question: (...) ‘could there be non-actual possibilia?’ (p.35). Kant’s view, according to Stang, is that there could not, and that the very notion of non-actual or ‘mere’ possibilia is incoherent. In §5 I take a close look at Stang’s master argument that Kant’s Leibnizian predecessors are committed to the claim that existence is a real predicate, and thus to mere possibilia. I argue that it involves substantial logical commitments that the Leibnizian could reject. I also suggest that it is danger of proving too much. In §6 I explore two closely related logical commitments that Stang’s reading implicitly imposes on Kant, namely a negative universal free logic and a quantified modal logic that invalidates the Converse Barcan Formula. I suggest that each can seem to involve Kant himself in commitment to mere possibilia. (shrink)

1 Introduction1 In the 1980s, hermeneutics was often incorporated into deconstructionism and literary theory. Rather than focus on authorial intentions, the nature of writing itself including codes used to construct meaning, socio-economic contexts and inequalities of power,2 Gadamer introduced a different perspective; the interplay between effects of history on a reader’s understanding and the tradition(s) handed down in writing. This interplay in which a reader’s prejudices are called into question and modified by the text in a fusion of understanding and (...) topic revitalized the study of the printed word. Gadamer’s turn to language for understanding the meaning of Being also appealed to the post-modern antipathy toward modernity and metaphysics.3 If the truth and validity of interpretations are limited to communities of language, then our mode of being in history cannot but be historical. This point of view rendered Gadamer’s phenomenological hermeneutics vulnerable to the critique of moral and epistemological relativism. However, Gadamer’s theory of interpretation also stems from re-examination of the beginning of knowledge in the Pre-Socratics and Plato, and on this basis, is receptive to another dimension of inquiry than that which was trending in North America. -/- At the East-West Center, University of Hawai’i at Manoa in 1982, Chung-ying Cheng for the first time introduced onto-hermeneutics to an audience of esteemed philosophers including Li Zehou, Ren Jiyu, Feng Youlan, and Zhang Liwen.4 In contrast to schools of deconstruction and literary theory that had disengaged the interpreter from trans-historical sources of meaning and truth, Cheng explained that interpreters exist within a cosmological order inextricable from responsibility to harmonize Heaven and Earth in creative acts of interpretation. By integrating Chinese cosmology into hermeneutics through ontology, he tacitly challenged philosophers in the West to re-examine assumptions about humanity’s place in nature and by implication, Gadamer’s recovery of the beginnings of knowledge in Western philosophy. -/- Cheng’s Neo-Confucianism is inspired by the method and goals of Thomé H. Fang. The following words by Fang seem to prefigure, although in an indistinct and bundled way, aspects of Cheng’s philosophy including a Mencian theory of human nature, comprehensive observation, and creativity: “In the very process of living in concord with creative Nature, Man is charged with an ideal to be fully realized in the light of the principle of comprehensive harmony.”5 Like Fang, Cheng reinvigorates Chinese culture and language, but not solely in order to vindicate the insights of Neo-Confucianism. He has studied Western thought, from pragmatism and the analytic school to German idealism and phenomenology, to unlock and clarify philosophical concepts within the Yijing tradition and thereby render them intelligible to Anglophones. The result has been an awakening of Western scholars to the moral and cultural consequences of decoupling their thought from metaphysical foundations that are neither dogmatic nor doctrinal. -/- Not unlike the dialectic of Gadamer’s dialogue form, onto-generative hermeneutics integrates contrary positions on the same topic in order to blend both sides into a world philosophy, or as Cheng says, a “totalizing or integrative theory,”6 not to be confused with a theoretical rewording of a theory. On the contrary, the universal scope and relevance of hermeneutics stems from personal experience. Just as Gadamer, in response to faction and strife, immersed himself in Plato during the war years, and developed a method with which to harmonize opposites, so too, according to On-cho Ng, was Cheng moved by faction, strife and political persecution to develop a path toward unity.7 Gadamer taught at McMaster University in Hamilton, Ontario, and Cheng at the University of Hawai’i at Manoa among other institutions in North America. They facilitated trans-continental educational and cultural ties. Similar experiences yield similar insights irrespective of differences of time and place. Hence, authors in this issue who reside in Europe, China and North America, delineate the differences between Gadamer and Cheng, yet also, in light of Cheng’s onto-generative method and cosmology, develop integrative theories. Due to the page-budget restriction of the publisher, certain articles of this special theme will be subsequently published in the next issue. -/- 2 Integrative Theory This special issue of The Journal of Chinese Philosophy confirms a dimension of hermeneutics that Cheng has both motivated and inspired. The contributors do not abide by the conviction that since thought is mediated by language, interpretations cannot transcend culture. On the contrary, their research exemplifies the fruits of trans-historical onto-dialogical hermeneutics within limits defined by their field inquiry, organized into Parts I and II, around three themes: language, the philosophy of history and ethics. -/- Andrew Fuyarchuk introduces the theme of ontology in relation to Gadamer’s turn to language. Fuyarchuk argues that Chung-ying Cheng’s criticism of Gadamer’s hermeneutics is informed by Heidegger’s concept of Dasein and thereby overlooks how Gadamer’s Platonic-Pythagorean problem of the division between the One and Many is harmonized in the event of language, which in turn positions Gadamer in proximity to the presupposed grounds of receptivity in Cheng’s onto-generative hermeneutics. Lauren Pfister’s contributing article addresses the year 2000 meeting between Cheng and Gadamer in Heidelberg and expands the transhistorical grounds of meaning in Gadamer to matters of theology. Pfister’s summary of the written Chinese record of their conversation indicates that Cheng does not address the role of Christian philosophy and hence, the role of the inner word in Gadamer’s hermeneutics. This is important not only for detecting changes in Cheng’s philosophical development, but also for modifying his hermeneutics along the lines of a living conversation, possibilities explored by Pfister in a sequel to the article submitted to this issue. Nevertheless, by raising the issue of how Gadamer’s turn to language for understanding the meaning of Being extends possibilities in Cheng’s thought, Pfister anticipates the article by Katarina Gajdosova. She returns to the roots of Chinese thought during the Warring States period and broadens the meaning of names in recently excavated texts. Contrary to the conventions about how to understand terms, she appeals to both Heidegger’s ontology and Cheng’s notion of receptivity and creativity to reinterpret naming in relation to cosmology. Along the same lines, insofar as the event of Being is lingual, Jay Goulding captures its emergent structure in an evolving community of scholars and scholarship. He recalls his philosophical journey toward Cheng’s philosophy that begins in conversations with Gadamer at McMaster University in Hamilton, leads to Heidegger and Asian thought, expands into turning points with teachers and colleagues from various backgrounds that by increments contributed to Goulding’s formulation of “Daoist phenomenology.” -/- Although differing traditions guide their inquiries and research, Cheng and Gadamer recall the wisdom of the past to ameliorate the fragmentation in contemporary life. This leads them to re-examine the origins of philosophy; historical roots and thus sources of creative re-interpretations East and West whose affinities are developed in contributions by Hyun Höchsmann and Friederike Assandri. Höchsmann assesses convergences and divergences in the origins of Chinese and Western philosophy (Confucius and Socrates, the Yijing and Pre-Socratics) that culminates in pairing Gadamer’s understanding of paideia in the context of Plato’s political cosmology in the Timaeus with moral and social cultivation in The Western Inscription. She delineates the limits of this comparison which in turn justifies introducing Vattimo’s notion of locality. Assandri’s comparative analysis moves between India and China, Buddhism and Tang Daoism. Based on Gadamer’s argument that writing detaches concepts from their cultural moorings, she defines and applies three levels of understanding in onto-generative hermeneutics to Buddhist terms that were assimilated into the Benji Jing and in so doing clarifies essential dimensions of Daoism. -/- Contributions by Stephen Palmquist and Nicholas Brasovan position Cheng in relation to Kant and Gadamer by way of Aristotle’s ethics respectively. On the one hand, Palmquist plots Cheng’s evolving criticism of Kant’s moral philosophy and draws on crucial dimensions of Gadamer’s hermeneutics to reposition that criticism in a constructive relation to Kant’s emphasis on the philosophical conditions of morality while also indicating how religious dimensions of his thought answer Cheng’s concerns for lived moral action. For Palmquist, Gadamer enables a constructive criticism of Cheng. On the other hand, Brasovan compares Cheng’s Yijing-based account of moral deliberation with Gadamer’s Aristotelian-based ethics and reasons that in contrast to Cheng, Gadamer’s hermeneutical consciousness is disengaged from practical knowledge. For Brasovan, Cheng is a constructive critic of Gadamer. Palmquist and Brasovan’s divergent angles on Gadamer and Cheng map onto a dialectic of contrast and complementarity that constitutes the inner logic of Cheng’s philosophy. In other words, Gadamer and Cheng ought to be read alongside one another for the sake of removing discrepancies and contradictions, which constitutes the organic structure of their thinking. -/- 3 Our Mode of Being in History Is Not Historical The conversations between Cheng and Gadamer in this issue of The Journal of Chinese Philosophy pivot on language, philosophy of history and ethics within a comparative framework of analysis, but also explore the grounds that make the comparisons possible. Those grounds are informed by Chinese cosmology, and function to wrest Gadamer from the shadow of Heideggerian facticity and reposition him within the range of Cheng’s ideas about our place in nature that is embedded in his question about how mind emerges from inorganic matter.8 -/- For Gadamer scholars of Heidegger, human finitude, our ownmost individuating death ensures that hermeneutics is always open to the other as other, always on the way toward understanding the meaning of Being. To arrest the process in a concept of “the Absolute” cannot but represent someone’s point of view, and thereby render hermeneutics indistinguishable from ideology. However, insofar as finitude is defined by them in terms of an onto-theological concept of immorality, finitude is a metaphysical concept consistent with epistemologies and confuse beings with the meaning of Being. As a result, the celebrated political value of hermeneutics to always be on the way toward an understanding of the meaning of Being admits subtle variations on the same worldview that are insufficiently self-critical. -/- Gadamer scholars of Heidegger are right. A transformation in ethos and opening to the meaning of Being depends on awareness of finitude. Yet this awareness does not yield openness to more of the same, i.e., discourse structurally incapable of coming to unity but instead, for both Gadamer and Cheng, openness to a distinctly different ontological dimension of reality. As Sandra Wawrytko and So-Seong Park indicate,9 this ontological dimension is prefigured in the experience of being-as-a-whole or the totality of all possible relations in both Chinese totemic shamanistic rituals,10 and Greek Dionysian festivals.11 Through these religious experiences human ethos and therefore consciousness is expanded and elevated from being centered on one’s ownmost concerns toward an affinity with all sentient beings from insects and plants to animals. The channel for this affinity is an auditory disposition and hence, the emotions, compassion, and feeling response. -/- The capacity for an auditory disposition, or as Gadamer calls it, listening consciousness to respond to the inter-relationality and therefore inherent balance of nature is developed through music, song and dance of the religious rituals and festivals. They facilitate the unity of mind with nature. This use of music, that transforms ordinary consciousness, explains Cheng’s emphasis on the receptivity of feeling response in comprehensive observation, and Gadamer’s emphasis on openness to the other in attunement. However, an auditory disposition characteristic of pre-literate oral cultures that reveals the “All” need not rely on religion. As theorists about the evolution of language have explained,12 modern languages preserve their pre-historical past in music or prosody. That is to say, the song and dance that revealed the totality of inter-related beings to an ethos of comprehensive observation and attunement toward beings in classical civilizations is retained in the back-and-forth movement or rhythm of the dialogue form. Our mode of being in history is a mode of being in nature – through the music of language. -/- While alerting the reader to the limits of a nominalist interpretation, Gadamer expresses the inner law of the nature as follows: “in perishing there is always becoming, and in becoming there is always perishing.”13 Considered in process, opposites generate and blend into each other. This law of nature applies to everything.14 Hence, in a manner comparable to Pfister’s concluding insights, onto-dialogical hermeneutics is not only open to discrete events of otherness but moreover, to the moving structure of reality expressed, as Gajdosova suggests, in the existential moment of naming. Considered as interplay of tension and resolution with a life of its own, the dialectic of a dialogue is self-similar to the way in which an organism grows (by instinct). There is, therefore, a sense in which the art of interpretation extends the human mind into the eternal cycles of nature such that we participate in the articulation of the inner telos/homeostasis toward which all beings strive and importantly for Gadamer scholars of Heidegger, within the material limits of energy to which our embodied minds are self-evidently subject. In mortality there is always immortality. (shrink)

[Please note, this paper has been for the most part superseded by 'Unifying the Requirements of Rationality'] In the last decade, it has become commonplace among people who work on reasons (although not uncontroversially so) to distinguish between normativity and rationality. Work by John Broome, Niko Kolodny, Derek Parfit, and Nicholas Shackel has helped to establish the view that rationality is conceptually distinct from reasons. The distinction allows us to make sense of the questions recently addressed by Broome, Kolodny, (...) Reisner, and Shackel: is rationality normative, and if so, in what way? Kolodny’s ‘Why be Rational?’ answered the first of these questions by claiming that there is no reason to be rational. In order to argue for this conclusion, Kolodny argues for a process account of rationality. Kolodny’s view is that rational requirements govern mental processes. His view is set in direct contrast to Broome’s, who holds that rational requirements are primarily, and perhaps exclusively, concerned with relations among mental states at a time. (shrink)

The purpose of this essay is exegesis. I explicate Nicolas Malebranche's (1674, 1678, 1688, 1714) concept of intelligible extension. I begin by detailing how the concept matured throughout Malebranche's work, and the new functions it took on within his metaphysical system. I then examine Gustav Bergmann's “axiomatic” interpretation, as well as the criticism of it offered by Daise Radner. I argue that Radner's criticism of the interpretation is only partly successful; some of her objections can be met; others cannot. I (...) then develop a novel interpretation of the concept, given insights from this dispute. I call it the “programmatic interpretation.” I argue that this interpretation coheres well with Malebranche's famous Vision in God thesis, as well as many of his other commitments. I conclude by considering a certain pertinent objection to my proposal, summarizing the dialectic, and forcefully restating my case. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

In this paper, I present and defend a novel account of doubt. In Part 1, I make some preliminary observations about the nature of doubt. In Part 2, I introduce a new puzzle about the relationship between three psychological states: doubt, belief, and confidence. I present this puzzle because my account of doubt emerges as a possible solution to it. Lastly, in Part 3, I elaborate on and defend my account of doubt. Roughly, one has doubt if and only if (...) one believes one might be wrong; I argue that this is superior to the account that says that one has doubt if and only if one has less than the highest degree of confidence. (shrink)

Philosophers commonly say that beliefs come in degrees. Drawing from the literature, I make precise three arguments for this claim: an argument from degrees of confidence, an argument from degrees of firmness, and an argument from natural language. I show that they all fail. I also advance three arguments that beliefs do not come in degrees: an argument from natural language, an argument from intuition, and an argument from the metaphysics of degrees. On the basis of these arguments, I conclude (...) that beliefs do not come in degrees. (shrink)

The fallacy fallacy is either the misdiagnosis of fallacy or the supposition that the conclusion of a fallacy must be a falsehood. This paper explores the relevance of these and related errors of reasoning for the appraisal of arguments, especially within virtue theories of argumentation. In particular, the fallacy fallacy exemplifies the Owl of Minerva problem, whereby tools devised to understand a norm make possible new ways of violating the norm. Fallacies are such tools and so are vices. Hence a (...) similar problem arises with argumentative vices. Fortunately, both instances of the problem have a common remedy. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

Virtue theories have become influential in ethics and epistemology. This paper argues for a similar approach to argumentation. Several potential obstacles to virtue theories in general, and to this new application in particular, are considered and rejected. A first attempt is made at a survey of argumentational virtues, and finally it is argued that the dialectical nature of argumentation makes it particularly suited for virtue theoretic analysis.

Disagreements that resist rational resolution, often termed “deep disagreements”, have been the focus of much work in epistemology and informal logic. In this paper, I argue that they also deserve the attention of philosophers of mathematics. I link the question of whether there can be deep disagreements in mathematics to a more familiar debate over whether there can be revolutions in mathematics. I propose an affirmative answer to both questions, using the controversy over Shinichi Mochizuki’s work on the abc conjecture (...) as a potential example of both phenomena. I conclude by investigating the prospects for the resolution of mathematical deep disagreements in virtue-theoretic approaches to informal logic and mathematical practice. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised (...) rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

Until recently, discussion of virtues in the philosophy of mathematics has been fleeting and fragmentary at best. But in the last few years this has begun to change. As virtue theory has grown ever more influential, not just in ethics where virtues may seem most at home, but particularly in epistemology and the philosophy of science, some philosophers have sought to push virtues out into unexpected areas, including mathematics and its philosophy. But there are some mathematicians already there, ready to (...) meet them, who have explicitly invoked virtues in discussing what is necessary for a mathematician to succeed. In both ethics and epistemology, virtue theory tends to emphasize character virtues, the acquired excellences of people. But people are not the only sort of thing whose excellences may be identified as virtues. Theoretical virtues have attracted attention in the philosophy of science as components of an account of theory choice. Within the philosophy of mathematics, and mathematics itself, attention to virtues has emerged from a variety of disparate sources. Theoretical virtues have been put forward both to analyse the practice of proof and to justify axioms; intellectual virtues have found multiple applications in the epistemology of mathematics; and ethical virtues have been offered as a basis for understanding the social utility of mathematical practice. Indeed, some authors have advocated virtue epistemology as the correct epistemology for mathematics (and perhaps even as the basis for progress in the metaphysics of mathematics). This topical collection brings together several of the researchers who have begun to study mathematical practices from a virtue perspective with the intention of consolidating and encouraging this trend. (shrink)

What should a virtue theory of argumentation say about fallacious reasoning? If good arguments are virtuous, then fallacies are vicious. Yet fallacies cannot just be identified with vices, since vices are dispositional properties of agents whereas fallacies are types of argument. Rather, if the normativity of good argumentation is explicable in terms of virtues, we should expect the wrongness of bad argumentation to be explicable in terms of vices. This approach is defended through analysis of several fallacies, with particular emphasis (...) on the ad misericordiam. (shrink)

Traditional geometry concerns itself with planimetric and stereometric considerations, which are at the root of the division between plane and solid geometry. To raise the issue of the relation between these two areas brings with it a host of different problems that pertain to mathematical practice, epistemology, semantics, ontology, methodology, and logic. In addition, issues of psychology and pedagogy are also important here. To our knowledge there is no single contribution that studies in detail even one of the aforementioned areas.

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

A list of resources for virtue theories of argumentation. Last updated December 5th 2024.

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)

Deep disagreements are characteristically resistant to rational resolution. This paper explores the contribution a virtue theoretic approach to argumentation can make towards settling the practical matter of what to do when confronted with apparent deep disagreement, with particular attention to the virtue of courage.

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice. Nonetheless, evidence, proof, and derivation are closely intertwined. This paper seeks to tease these concepts apart. It emphasizes the role of argumentation as a context shared by evidence, proofs, and derivations. The utility of argumentation theory, in general, and argumentation schemes, in particular, (...) as a methodology for the study of mathematical practice is thereby demonstrated. Argumentation schemes represent an almost untapped resource for mathematics education. Notably, they provide a consistent treatment of rigorous and non-rigorous argumentation, thereby working to exhibit the continuity of reasoning in mathematics with reasoning in other areas. Moreover, since argumentation schemes are a comparatively mature methodology, there is a substantial body of existing work to draw upon, including some increasingly sophisticated software tools. Such tools have significant potential for the analysis and evaluation of mathematical argumentation. The first four sections of the paper address the relationships of evidence to proof, proof to derivation, argument to proof, and argument to evidence, respectively. The final section directly addresses some of the educational implications of an argumentation scheme account of mathematical reasoning. (shrink)

Aesthetic reasons are reasons to do and think various things. For example, it makes sense to wonder if a tree stump on the lawn was left there for environmental rather than aesthetic reasons, or for no reason at all. Aesthetic considerations of this kind are often contrasted with non-aesthetic reasons—such as moral or epistemic reasons. For example, they seem connected to pleasure-in-experience in a distinctive way that differs from paradigmatic moral reasons. Relatedly, the authority of aesthetic reasons has often been (...) thought to involve less of an “external demand” upon us than in the other cases. In this chapter, I suggest that such distinctiveness and modesty coheres well with an anti-realist treatment that views them as non-objective in nature. I then go on to consider an alternative, more robustly realist conception of aesthetic reasons. (shrink)

Terence Horgan, George Graham and John Tienson argue that some intentional content is constitutively determined by phenomenology alone. We argue that this would require a certain kind of covariation of phenomenal states and intentional states that is not established by Horgan, Tienson and Graham’s arguments. We make the case that there is inadequate reason to think phenomenology determines perceptual belief, and that there is reason to doubt that phenomenology determines any species of non-perceptual intentionality. We also raise worries about the (...) capacity of phenomenology to map onto intentionality in a way that would be appropriate for any determiner of content/fixer of truth conditions. (shrink)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...) not jointly, lack the problematic feature. (shrink)

Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region distinguishes people in certain places or people traveling at certain velocities. In this paper I shall attempt to avoid this result by developing a tensed picture of (...) reality that is nonetheless consistent with ‘hypersurface egalitarianism’—the view that all hypersurfaces are equal. (shrink)

The subject of this essay is the classical problem of induction, which is sometimes attributed to David Hume and called “the Humean Problem of Induction.” Here, I examine a certain sort of Neo-Aristotelian solution to the problem, which appeals to the concept of natural kinds in its response to the inductive skeptic. This position is most notably represented by Howard Sankey and Marc Lange. The purpose of this paper is partly destructive and partly constructive. I raise two questions. The first (...) is: Are the natural kind solutions to the problem successful? The first thesis of this paper is that they are not, and I will show how and why they fail. And the second question I raise here is: Is there nonetheless some alternative Neo-Aristotelian solution to the problem which is successful and can overcome the shortcomings endemic to the Sankey-Lange account? The second thesis is that there is, and I’ll attempt to sketch one. My stance here may be summarized by saying that, while I agree with Sankey and Lange that the problem of induction can be adequately resolved, and while I am on the whole sympathetic with the Aristotelian spirit of their account, I am, for all that, dissatisfied with the letter of them. Nothing short of a more thoroughgoing Aristotelianism about the epistemology of induction will do. (shrink)

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

Frege-Geach worries about embedding and composition have plagued metaethical theories like emotivism, prescriptivism and expressivism. The sharpened point of such criticism has come to focus on whether negation and inconsistency have to be understood in descriptivist terms. Because they reject descriptivism, these theories must offer a non-standard account of the meanings of ethical and normative sentences as well as related semantic facts, such as why certain sentences are inconsistent with each other. This paper fills out such a solution to the (...) negation problems, following some of the original emotivist ideas about the interplay of interests in conversation. We communicate both to share information and coordinate our actions, and we use distinctively normative language like deontic ‘must’ and ‘may’ to negotiate what people are to do. The kinds of disagreement involved in such negotiation can illuminate the issues with negation and inconsistency. This paper outlines a dynamic semantic system in which these ideas can bear fruit, developing the scorekeeping model of conversation. The result is clarification about what Frege-Geach worries can mean for nondescriptive semantics. (shrink)

It has been argued recently that classical theism and Lewisian modal realism are incompatible theses. The most substantial argument to this effect takes the form of a trilemma. It argues that no sense can be made of God’s being a necessary being in the modal realistic picture, on pain of, among other things, modal collapse. The question of this essay is: Is that so? My goal here is to detail the reasons that have been offered in support of this contention (...) and then defend the coherence of theistic modal realism from the trilemma. I call my reply to the argument an “Anselmian-Thomistic” defense, since it appeals to resources from classical medieval philosophy, especially from Anselm and Aquinas. (shrink)

Virtue theories have lately enjoyed a modest vogue in the study of argumentation, echoing the success of more far-reaching programmes in ethics and epistemology. Virtue theories of argumentation (VTA) comprise several conceptually distinct projects, including the provision of normative foundations for argument evaluation and a renewed focus on the character of good arguers. Perhaps the boldest of these is the pursuit of the fully satisfying argument, the argument that contributes to human flourishing. This project has an independently developed epistemic analogue: (...) eudaimonistic virtue epistemology. Both projects stress the importance of widening the range of cognitive goals beyond, respectively, cogency and knowledge; both projects emphasize social factors, the right sort of community being indispensable for the cultivation of the intellectual virtues necessary to each project. This paper proposes a unification of the two projects by arguing that the intellectual good life sought by eudaimonistic virtue epistemologists is best realized through the articulation of an account of argumentation that contributes to human flourishing. (shrink)

Virtue theories of argumentation (VTA) emphasize the roles arguers play in the conduct and evaluation of arguments, and lay particular stress on arguers’ acquired dispositions of character, that is, virtues and vices. The inspiration for VTA lies in virtue epistemology and virtue ethics, the latter being a modern revival of Aristotle’s ethics. Aristotle is also, of course, the father of Western logic and argumentation. This paper asks to what degree Aristotle may thereby be claimed as a forefather by VTA.

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (shrink)

I intend to bring recent work applying virtue theory to the study of argument to bear on a much older problem, that of disagreements that resist rational resolution, sometimes termed "deep disagreements". Just as some virtue epistemologists have lately shifted focus onto epistemic vices, I shall argue that a renewed focus on the vices of argument can help to illuminate deep disagreements. In particular, I address the role of arrogance, both as a factor in the diagnosis of deep disagreements and (...) as an obstacle to their mutually acceptable resolution. Arrogant arguers are likely to make any disagreements to which they are party seem deeper than they really are and arrogance impedes the strategies that we might adopt to resolve deep disagreements. As a case in point, since arrogant or otherwise vicious arguers cannot be trusted not to exploit such strategies for untoward ends, any policy for deep disagreement amelioration must require particularly close attention to the vices of argument, lest they be exploited by the unscrupulous. (shrink)

A number of `no-proposition' approaches to the liar paradox find themselves implicitly committed to a moderate disquotational principle: the principle that if an utterance of the sentence `$P$' says anything at all, it says that $P$ (with suitable restrictions). I show that this principle alone is responsible for the revenge paradoxes that plague this view. I instead propose a view in which there are several closely related language-world relations playing the `semantic expressing' role, none of which is more central to (...) semantic theorizing than any other. I use this thesis about language and the negative result about disquotation to motivate the view that people do say things with utterances of paradoxical sentences, although they do not say the proposition you'd always expect, as articulated with a disquotational principle. (shrink)

In this article, we describe what cryptocurrency is, how it works, and how it relates to familiar conceptions of and questions about money. We then show how normative questions about monetary policy find new expression in Bitcoin and other cryptocurrencies. These questions can play a role in addressing not just what money is, but what it should be. A guiding theme in our discussion is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results (...) of disciplines like computer science and economics. Note: this article is the first entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

Essentialists suppose that for every individual, if that individual exists at any possible world, then necessarily that individual exemplifies some non-trivial qualitative property essential to it, as such. Anti-essentialists deny this. One important argument leveled by some anti-essentialists against essentialism takes the form of a thought experiment, one originally introduced by Roderick Chisholm, sometimes referred to as Chisholm's Paradox (CP). In this essay, I defend essentialism against CP. I begin by presenting the argument and showing how it leads to a (...) contradiction of the essentialist thesis. I then consider one of the most popular solutions to CP to date, that given by Nathan Salmon. Next, I critique Salmon's proposal and show that it is an insufficient response on behalf of the essentialist. And finally, I propose a novel solution to the paradox and discuss why it is that many metaphysician in the past have found CP plausible, despite being fallacious. (shrink)

Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.

Roughly, a proof of a theorem, is “pure” if it draws only on what is “close” or “intrinsic” to that theorem. Mathematicians employ a variety of terms to identify pure proofs, saying that a pure proof is one that avoids what is “extrinsic,” “extraneous,” “distant,” “remote,” “alien,” or “foreign” to the problem or theorem under investigation. In the background of these attributions is the view that there is a distance measure (or a variety of such measures) between mathematical statements and (...) proofs. Mathematicians have paid little attention to specifying such distance measures precisely because in practice certain methods of proof have seemed self- evidently impure by design: think for instance of analytic geometry and analytic number theory. By contrast, mathematicians have paid considerable attention to whether such impurities are a good thing or to be avoided, and some have claimed that they are valuable because generally impure proofs are simpler than pure proofs. This article is an investigation of this claim, formulated more precisely by proof- theoretic means. After assembling evidence from proof theory that may be thought to support this claim, we will argue that on the contrary this evidence does not support the claim. (shrink)

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about the (...) width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the "Leibniz biconditionals" stating that what is possible, in the broadest sense of possible, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)